% SIGNATURE
% Object logic connectives' type

type imp form -> form -> form.
type and form -> form -> form.
type or  form -> form -> form.

type tt form.

type zz   form.
type bttm form.
